Mathematical Logic Advent Calendar 2025